A Tabular Expression Toolbox for Matlab/Simulink
نویسندگان
چکیده
Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address this shortfall we have developed the Tabular Expression Toolbox for Matlab/Simulink. An intuitive user interface allows users to easily create, modify and check the completeness and disjointness of tabular expressions using the ATP PVS or SMT solver CVC3. The tabular expressions are translated to m-functions allowing their seamless use with Matlab’s simulation and code generation.
منابع مشابه
Open-Source Programming of Cardiovascular Pressure-Flow Dynamics Using SimPower Toolbox in Matlab and Simulink
A toolbox for simulation of the cardiovascular system has been constructed for use in Matlab Simulink (The MathWorks Inc.). The toolbox contains basic elements such as vessel segments, cardiac chambers, valves and shunts that can be graphically arranged and connected to directly simulate the circulation with the desired level of detail. The toolbox is based on the SimPower toolbox to allow simp...
متن کاملA New Approach to Implement Chaotic Generators Based on Filed Programmable Gate Array (FPGA)
In this paper, we introduce a new method to implement chaotic generators based on Henon map chaotic system given by the state equations by using Filed Programmable Gate Array (FPGA). The aim of this method is to increase the frequency of the chaotic generators. The new method is based on MATLAB Software, Xilinx System Generator, Xilinx Alliance tools, Leonardo spectrum or Synplicity Synplify an...
متن کاملNeural Predictive Control Toolbox for Cacsd in Matlab Environment
This paper describes a neural predictive control toolbox developed in Matlab/Simulink environment. The application permits all phases of the system design: simulation of the plant by means of any Simulink model, loading of input/output data, definition of the neural network architecture, training, and, finally, application of the predictive control strategy based on the neural network model. Co...
متن کاملPresentation of AWAST : the Anti-Windup Analysis and Synthesis Toolbox
This document presents a new MATLAB c © toolbox for anti-windup analysis and synthesis. It is based on a user-friendly SIMULINK c © interface which has been developed in order to simplify and fasten the definition of anti-windup design and simulation diagrams.
متن کاملMATLAB/Simulink TCP/IP Communication
This paper describes TCP/IP communication blocks in the program MATLAB/Simulink. The new developed Simulink blocks and detailed instructions for building them are described here. This server and client blocks enable Simulink models to communicate with remote applications, devices over TCP/IP communications. A very similar functionality (more complex) is provided by the TCP/IP block in the Instr...
متن کامل